____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b
Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―
Differenzenrechnung
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
top
Die Differenzenrechnung ist ein Teilgebiet der Mathematik, das die diskrete Entsprechung zur Analysis (Differenzial- und Integralrechnung) bildet. WΓ€hrend sich die Analysis mit Funktionen beschΓ€ftigt, die auf kontinuierlichen RΓ€umen definiert sind (um einen Grenzwertbegriff etablieren zu kΓΆnnen), im Besonderen mit Funktionen auf den reellen Zahlen, interessiert man sich in der Differenzenrechnung fΓΌr Funktionen auf den ganzen Zahlen β€. Die Differenzenrechnung kann zur Berechnung von Reihen angewandt werden.
Contents
β’ Eigenschaften
β’ Siehe auch
β’ Literatur
β’ Weblinks
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Differenzen und Summen
Die bekannte kontinuierliche Differentialrechnung basiert auf dem Differenzialoperator D {\displaystyle \mathrm {D} } , der wie folgt definiert ist:
D f ( x ) = lim h β β 0 f ( x + h ) β β f ( x ) h {\displaystyle \mathrm {D} f(x)=\lim _{h\rightarrow 0}{\frac {f(x+h)-f(x)}{h}}}
Die Differenzenrechnung hingegen verwendet einen sogenannten Differenzenoperator Ξ Ξ {\displaystyle \Delta } :
Ξ Ξ f ( x ) = f ( x + 1 ) β β f ( x ) {\displaystyle \Delta f(x)=f(x+1)-f(x)} .
Die umgekehrte Operation wird nicht wie in der kontinuierlichen Differentialrechnung mit dem unbestimmten Integral, sondern mit einer unbestimmten Summe β β f ( x ) {\displaystyle \sum f(x)} erreicht, die sich zum Differenzenoperator wie folgt verhΓ€lt:
g ( x ) = Ξ Ξ f ( x ) βΊ βΊ β β g ( x ) Ξ΄ Ξ΄ x = f ( x ) + C {\displaystyle g(x)=\Delta f(x)\quad \Longleftrightarrow \quad \sum g(x)\;\delta x=f(x)+C} .
Ξ΄ Ξ΄ {\displaystyle \delta } verhΓ€lt sich hier zu Ξ Ξ {\displaystyle \Delta } wie d {\displaystyle \mathrm {d} } zu D {\displaystyle \mathrm {D} } in der kontinuierlichen Differentialrechnung. C {\displaystyle C} steht fΓΌr den Wert einer beliebigen Funktion, die fΓΌr ganzzahlige x {\displaystyle x} konstant ist ( C ( x + 1 ) = C ( x ) {\displaystyle C(x+1)=C(x)} ).
Das Pendant zu bestimmten Integralen sind bestimmte Summen. Diese entsprechen gewΓΆhnlichen Summen ohne den Wert am hΓΆchsten Index:
β β β β a b β‘ β‘ f ( x ) Ξ΄ Ξ΄ x = β β k = a b β β 1 f ( k ) = [ F ( x ) ] a b = F ( b ) β β F ( a ) {\displaystyle \sideset {}{_{a}^{b}}\sum f(x)\;\delta x=\sum _{k=a}^{b-1}f(k)=[F(x)]_{a}^{b}=F(b)-F(a)} .
Eigenschaften
Invariante Funktion
Eine unter dem Differenzialoperator invariante Funktion ist die Exponentialfunktion der Basis e. In der Differenzenrechnung ist die Exponentialfunktion der Basis 2 invariant, wie sich leicht ermitteln lΓ€sst:
Ξ Ξ f ( x ) = f ( x ) βΊ βΊ f ( x + 1 ) β β f ( x ) = f ( x ) βΊ βΊ f ( x + 1 ) = 2 f ( x ) βΊ βΊ β β C : f ( x ) = C β
β
2 x {\displaystyle {\begin{aligned}&\Delta f(x)=f(x)\\\Longleftrightarrow \quad &f(x+1)-f(x)=f(x)\\\Longleftrightarrow \quad &f(x+1)=2f(x)\\\Longleftrightarrow \quad &\exists C:f(x)=C\cdot 2^{x}\\\end{aligned}}}
Fallende FakultΓ€ten
Eine einfache Rechenregel gibt es fΓΌr fallende FakultΓ€ten, die fΓΌr jede Ganzzahl m {\displaystyle m} wie folgt definiert sind:
x m _ _ = x ! ( x β β m ) ! = { x ( x β β 1 ) β¦ β¦ ( x β β m + 1 ) β β m Faktoren , wenn m β₯ β₯ 0 1 ( x + 1 ) ( x + 2 ) β¦ β¦ ( x β β m ) β β | m | Faktoren , wenn m < 0 {\displaystyle x^{\underline {m}}={\frac {x!}{(x-m)!}}={\begin{cases}\overbrace {x(x-1)\ldots (x-m+1)} ^{m{\text{ Faktoren}}}&{\text{, wenn }}m\geq 0\\&\\\underbrace {\frac {1}{(x+1)(x+2)\ldots (x-m)}} _{|m|{\text{ Faktoren}}}&{\text{, wenn }}m<0\end{cases}}}
Dieser Ausdruck verhΓ€lt sich in der Differenzenrechnung folgendermaΓen:
β’ Ξ Ξ ( x m _ _ ) = m x m β β 1 _ _ {\displaystyle \Delta (x^{\underline {m}})=mx^{\underline {m-1}}}
β’ β β β β a b β‘ β‘ x m _ _ Ξ΄ Ξ΄ x = { [ x m + 1 _ _ m + 1 ] a b , wenn m β β β β 1 [ H x ] a b , wenn m = β β 1 {\displaystyle \sideset {}{_{a}^{b}}\sum x^{\underline {m}}\;\delta x={\begin{cases}\left[{\frac {x^{\underline {m+1}}}{m+1}}\right]_{a}^{b}&{\text{, wenn }}m\neq -1\\\left[H_{x}\right]_{a}^{b}&{\text{, wenn }}m=-1\end{cases}}}
wobei H n {\displaystyle H_{n}} die n {\displaystyle n} -te harmonische Zahl ist. Die harmonische Reihe ist somit das GegenstΓΌck zum natΓΌrlichen Logarithmus. Die Γbereinstimmung geht so weit, dass Ξ Ξ ( x β
β
H x β β x ) = H x {\displaystyle \Delta (x\cdot H_{x}-x)=H_{x}} ebenfalls gilt.
Fallende FakultΓ€ten und Potenzen kΓΆnnen stets mittels Stirling-Zahlen erster bzw. zweiter Art ineinander umgewandelt werden:
x m _ _ = β β k [ m k ] ( β β 1 ) m β β k x k {\displaystyle x^{\underline {m}}=\sum _{k}\left[{\begin{matrix}m\\k\end{matrix}}\right](-1)^{m-k}x^{k}} ,
x m = β β k { m k } x k _ _ {\displaystyle x^{m}=\sum _{k}\left\{{\begin{matrix}m\\k\end{matrix}}\right\}x^{\underline {k}}}
AuΓerdem gilt der binomische Lehrsatz auch fΓΌr fallende FakultΓ€ten.
Beispiel zur Berechnung der Summe der ersten n {\displaystyle n} Quadratzahlen:
β β k = 0 n k 2 = β β β β 0 n + 1 β‘ β‘ x 2 Ξ΄ Ξ΄ x = β β β β 0 n + 1 β‘ β‘ ( x 2 _ _ + x 1 _ _ ) Ξ΄ Ξ΄ x = ( n + 1 ) 3 _ _ 3 + ( n + 1 ) 2 _ _ 2 = n ( n + 1 2 ) ( n + 1 ) 3 {\displaystyle \sum _{k=0}^{n}k^{2}=\sideset {}{_{0}^{n+1}}\sum x^{2}\delta x=\sideset {}{_{0}^{n+1}}\sum (x^{\underline {2}}\,+\,x^{\underline {1}})\delta x={\frac {(n+1)^{\underline {3}}}{3}}+{\frac {(n+1)^{\underline {2}}}{2}}={\frac {n(n+{\frac {1}{2}})(n+1)}{3}}} .
Produktregel und partielle Summation
Die Produktregel der kontinuierlichen Differentialrechnung ist in folgender Form gΓΌltig:
Ξ Ξ ( u ( x ) v ( x ) ) = u ( x ) Ξ Ξ v ( x ) + v ( x + 1 ) Ξ Ξ u ( x ) {\displaystyle \Delta (u(x)v(x))=u(x)\Delta v(x)+v(x+1)\Delta u(x)} .
Diese Regel lΓ€sst sich durch EinfΓΌhrung eines Verschiebeoperators E {\displaystyle \mathrm {E} } , definiert als E f ( x ) = f ( x + 1 ) {\displaystyle \mathrm {E} f(x)=f(x+1)} , kompakter ausdrΓΌcken:
Ξ Ξ ( u v ) = u Ξ Ξ v + E v Ξ Ξ u {\displaystyle \Delta (uv)=u\Delta v+\mathrm {E} v\Delta u} .
Die Umstellung der Terme fΓΌhrt zur Formel der partiellen Summation Γ€hnlich der partiellen Integration:
β β u Ξ Ξ v = u v β β β β E v Ξ Ξ u {\displaystyle \sum u\,\Delta v=uv-\sum \mathrm {E} v\,\Delta u} .
Beispiel zur Berechnung der Summe β β k = 0 n k 2 k {\displaystyle \sum _{k=0}^{n}k2^{k}} :
Hier ist u ( x ) = x {\displaystyle u(x)=x} und Ξ Ξ v ( x ) = 2 x {\displaystyle \Delta v(x)=2^{x}} , sodass Ξ Ξ u ( x ) = 1 {\displaystyle \Delta u(x)=1} , v ( x ) = 2 x {\displaystyle v(x)=2^{x}} und E v ( x ) = 2 x + 1 {\displaystyle \mathrm {E} v(x)=2^{x+1}} .
Die Formel zur partiellen Summation ergibt: β β x 2 x Ξ΄ Ξ΄ x = x 2 x β β β β 2 x + 1 Ξ΄ Ξ΄ x = x 2 x β β 2 x + 1 + C {\displaystyle \sum x2^{x}\;\delta x=x2^{x}-\sum 2^{x+1}\;\delta x=x2^{x}-2^{x+1}+C} .
Dies fΓΌhrt schlieΓlich zur LΓΆsung:
β β k = 0 n k 2 k = β β β β 0 n + 1 β‘ β‘ x 2 x Ξ΄ Ξ΄ x = [ x 2 x β β 2 x + 1 ] 0 n + 1 = ( n β β 1 ) 2 n + 1 + 2 {\displaystyle {\begin{aligned}\sum _{k=0}^{n}k2^{k}&=\sideset {}{_{0}^{n+1}}\sum x2^{x}\;\delta x\\&=\left[x2^{x}-2^{x+1}\right]_{0}^{n+1}\\&=(n-1)2^{n+1}+2\end{aligned}}}
Siehe auch
Literatur
β’ A. O. Gelfond: Differenzenrechnung. Dt. Verlag d. Wiss., Berlin, 1958
β’ Ronald Graham u. a.: Concrete Mathematics. Addison-Wesley, Upper Saddle River 2008, ISBN 0-201-55802-5
β’ N. E. NΓΆrlund: Vorlesungen ΓΌber Differenzenrechnung. Springer-Verlag, Berlin, 1924; Reprint Chelsea, New York, 1954
Weblinks